Metrically Universal Generic Structures in Free Amalgamation Classes

نویسنده

  • Anthony Bonato
چکیده

We prove that each ∀1 free amalgamation class K over a finite relational language L admits a countable generic structure M isometrically embedding all countable structures in K relative to a fixed metric. We expand L by infinitely many binary predicates expressing distance, and prove that the resulting expansion of K has a model companion axiomatized by the first-order theory of M . The model companion is non-finitely axiomatizable, even over a strong form of the axiom scheme of infinity. Mathematics Subject Classification: 03C15, 05C12.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Two Problems on Homogeneous Structures, Revisited

We take up Peter Cameron’s problem of the classification of countably infinite graphs which are homogeneous as metric spaces in the graph metric [Cam98], working toward an explicit catalog of “known” examples on the one hand, and an investigation of the cases which occur as exceptional cases from the perspective of the catalog. We begin with a presentation of Fräıssé’s theory of amalgamation cl...

متن کامل

Elements of finite order in automorphism groups of homogeneous structures

We study properties of the automorphism groups of Fräıssé limits of classes with certain strong amalgamation properties, including classes with the free amalgamation property and classes of metric spaces. We discuss conditions on a Fräıssé class K that imply that the automorphism group GK of its limit admits generic elements of order n for all n and show that, for many such K, any element of GK...

متن کامل

A Universal Structure for Jv-free Graphs

Countable homogeneous graphs have been classified by Alistair Lachlan and Robert Woodrow [5,11]. There is a countable bipartite graph called the universal 'homogeneous' bipartite graph. However, this graph does not occur in Lachlan and Woodrow's list, because it is not homogeneous as a graph but only as a graph with a fixed bipartition (Cameron [1]). In this paper, I describe a graph which is a...

متن کامل

Ramsey properties and extending partial automorphisms for classes of finite structures

We show that every free amalgamation class of finite structures with relations and (symmetric) partial functions is a Ramsey class when enriched by a free linear ordering of vertices. This is a common strengthening of the Nešetřil-Rödl Theorem and the second and third authors’ Ramsey theorem for finite models (that is, structures with both relations and functions). We also find subclasses with ...

متن کامل

Existentially Closed Dimension Groups

A partially ordered Abelian group M is algebraically (existentially) closed in a class C M of such structures just in case any finite system of weak inequalities (and negations of weak inequalities), defined over M, is solvable in M if solvable in some N ⊇ M in C. After characterizing existentially closed dimension groups this paper derives amalgamation properties for dimension groups, dimensio...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Math. Log. Q.

دوره 47  شماره 

صفحات  -

تاریخ انتشار 2001